1. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده : C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
2. Developments in language theory : 8th Iternational Cnference, DLT 2004, Auckland, New Zealand, December 13-17 : proceedings
پدیدآورنده : Cristian S. Calude, Elena Calude, Michael J. Dinneen )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
3340
3. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
4. 24, 2012, Revised Selected and Invited Papers-Computation, Physics and Beyond: International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21
پدیدآورنده : / Nies (eds.)فSolomon Marcus (auth.), Michael J. Dinneen, Bakhadyr Khoussainov, Andr
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
5. Unconventional Computation and Natural Computation
پدیدآورنده : \ Cristian S. Calude, Michael J. Dinneen (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic data processing,Soft computing,داده پردازی ,محاسبات نرم, -- Congresses, -- کنگرهها,a03,a05,a03,a05
رده :
QA
75
.
5
.
U25
U5
2015
E-Book
,
6. Unconventional models in computation : third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Ferdinand Peper )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Soft computing,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2509